Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings (Lecture Notes in ... / Programming and Software Engineering)
by
ISBN 13: 9783642250316
Format: Paperback (205 pages) Publisher: Springer Published: 28 Oct 2011 Other Format: Paperback
Save for later